#!/bin/bash +x
echo make
make clean
make